We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.

We study connections between asymptotic structure in a Banach space and model theoretic properties of the space. We show that, in an asymptotic sense, a sequence $$ in a Banach space X generates copies of one of the classical sequence spaces $\ell_p$ or $c_0$ inside X if and only if the quantifier-free types approximated by $$ inside X are quantifier-free definable. More precisely, if $$ is a bounded sequence X such that no normalized sequence of blocks of $$ converges, then (...) the following two conditions are equivalent. There exists a sequence $$ of blocks of $$ such that for every finite dimensional subspace E of X, every quantifier-free type over $E +\overline{\rm span}\{y_n\mid n\in \mathbb{N}\}$ is quantifier-free definable. One of the following two conditions holds: there exists $1\le p 0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $\ell_p$; for every $\epsilon>0$ and every finite dimensional subspace E of X there exists a sequence of blocks of $$ which is $$-equivalent over E to the standard unit basis of $c_0$. Several byproducts of the proof are analyzed. (shrink)

A incorporação econômica gradual da livre circulação de bens, pessoas, serviço ou capitais e a paulatina reengenharia da homogeneização tecnológica e social dos povos da terra não dispensam uma concepção política prévia do sumo bem político que consiste na paz perpétua. O artigo tem por objeto o contratualismo kantiano e trata das formas organizacionais planetárias de Kant. O texto busca esclarecer como Kant vê, elabora e soluciona o problema de um dever moral condenado a acercar-se progressivamente de um ideal racional (...) que permanece historicamente desconhecido. Para o autor, Kant traça o tempo da história segundo o esquema da razão do direito. (shrink)

O trabalho apresenta o encaminhamento dado ao fato kantiano da razão em dois artigos recentes e retoma, a seguir, a discussão em torno do sentimento do respeito pela lei moral para concluir que a concepção fichteana de razão prática configura o primeiro mal-entendido do Faktum.

A incorporação econômica gradual da livre circulação de bens, pessoas, serviço ou capitais e a paulatina reengenharia da homogeneização tecnológica e social dos povos da terra não dispensam uma concepção política prévia do sumo bem político que consiste na paz perpétua. O artigo tem por objeto o contratualismo kantiano e trata das formas organizacionais planetárias de Kant. O texto busca esclarecer como Kant vê, elabora e soluciona o problema de um dever moral condenado a acercar-se progressivamente de um ideal racional (...) que permanece historicamente desconhecido. Para o autor, Kant traça o tempo da história segundo o esquema da razão do direito. (shrink)

Para Kant, a luta pelo aprimoramento do direito é travada com as armas da argumentação. Trata-se de emancipar a comunidade jurídica da tutela oriunda do senhorio violento das origens. rumo ao Estado republicano. O processo desemboca na constituição de um Estado estabelecido pela união de uma multidão de seres humanos submetida a leis de direito, no qual o povo exerce, na figura de seus representantes, a soberania e os poderes da República estão comprometidos com a eficácia do direito. O artigo (...) expõe tópicos do pensamento político do pensador alemão e destaca traços relevantes da filosofia da história no Kant tardio. O trabalho visa contribuir para o debate político, jurídico e filosó-fico atual sobre globalização e o futuro do Estado nacional de direito. (shrink)

O ensaio expõe a posição kantiana tardia em relação ao direito e à ética, comdestaque para as noções de direito subjetivo e de dever jurídico interno. Trata-se de mostrar aoriginalidade de Kant na última versão redacional das doutrinas do direito e da virtude. Otrabalho realça a contribuição do direito racional kantiano para os limites da dogmática jurídicaatual em face da crescente juridificação das ciências normativas.

O ensaio expõe a posição kantiana tardia em relação ao direito e à ética, com destaque para as noções de direito subjetivo e de dever jurídico intemo. Trata-se de mostrar a originalidade de Kant na última versão redacional das doutrinas do direito e da virtude. O trabalho realça a contribuição do direito racional kantiano para os limites da dogmática jurídica atual em face da crescente juridificação das ciênciasnormativas.

SÍNTESE - o artigo sumaria o modo peculiar como Kant lida com o estado de natureza hobbesiano e estabelece o espaço público do meum vel tuum extemum na Doutrina do Direito. O texto visa realçar a originalidade de Kant como filósofo político.

A Doutrina do direito apenas nas últimas décadas voltou a merecer o interesse dos estudiosos da filosofia. O presente texto procura mostrar a filiação iluminista da ciência kantiana do direito. O artigo privilegia o caráter racional das concepções jurídicas do pensador alemão.

Neste artigo, o autor apresenta osproblemas relacionados ao jusnaturalismo -posição que prescreve um conjunto de normaspara a conduta humana, anteriores àquilo que éfixado pelo Estado.

O artigo retoma a interpretação de Macpherson do estado natural e a confronta com a concepção hobbesiana da verdadeira liberdade dos súditos. O trabalho expõe os desafios teóricos do fisicalismo vital na obra de Hobbes e assume e posição de que o teórico político inglês não prova que os homens evitam pela luta e ou pela fuga a morte violenta movidos unicamente por uma necessidade natural.

A Doutrina do direito é um dos últimos trabalhos de Kant. Recomposto para uma nova editoração, o texto tem merecido a atenção de e teóricos do direito. A presente contribuição examina a repercussão da obra jurídica de Kant nos escritos recentes de Tugendhat, um dos críticos mais notórios do pensamento kantiano. O artigo privilegia asrelações entre direito e moral, procura dar uma feição mais nítida à chamada razão trivial, tendo em vista as clássicas objeções de Hegel à razão prática kantiana.

O artigo inicia com o enfoque do absolutismo hobbesiano à luz da doutrina tradicional do direito natural. A seguir expõe a complexa relaçáo de Hobbes com a democracia e a noçáo hobbesiana de representaçáo política. Depois de reconstruir algumas das objeções básicas de Hobbes ao pensamento político clássico, o texto procura mostrar que o filósofo inglês opera, em relaçáo a Aristóteles, com um conceito relativamente inalterado de natureza. Objetivo maior do trabalho é configurar o Estado como produto genuíno do desempenho (...) intelectual do teórico político inglês. (shrink)

Considerando a relevância da interação entre os homens, e que se dá de maneira privilegiada no âmbito dos processos comunicativos, filósofos e lingüistas do Brasil e da Alemanha juntaram-se para investigar o fenômeno da interação comunicativa. Os resultados dessa investigação estão reunidos nos artigos desta coletânea.

O livro reúne 19 artigos apresentados no I Simpósio Internacional de Ética e Política (Mestrado em Filosofia da UFG, 1996). Embora demarcado por limites - sejam inerentes à própria reflexão filosófica, sejam contigentes à abordagem conceitual do tema -, o tema da ética na política oferece contribuições para uma ação com o bem comum. Os textos recuperam aspectos da história do pensamento político ocidental, como também dão seguimento a essa história, oferecendo argumentos para a abordagem teórica da ética e da (...) política. (shrink)

We present a framework for model theoretic forcing in a non first order context, and present some applications of this framework to Banach space theory.

In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis.By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristics (e.g., compactness and the Löwenheim-Skolem theorem). However, one may consider extending the scope of first order in a different sense, specifically, by expanding the class of structures that are regarded as models (e.g., (...) including Banach algebras or other structures of functional analysis), and ask whether the resulting extensions of first order model theory preserve some of its desirable characteristics.A formal framework for the study of structures based on Banach spaces from the perspective of model theory was first introduced by C. W. Henson in [8] and [6]. Notions of syntax and semantics for these structures were defined, and it was shown that using them one obtains a model theoretic apparatus that satisfies many of the fundamental properties of first order model theory. For instance, one has compactness, Löwenheim-Skolem, and omitting types theorems. Further aspects of the theory, namely, the fundamentals of stability and forking, were first introduced in [10] and [9].The classes of mathematical structures formally encompassed by this framework are normed linear spaces, possibly expanded with additional structure,e.g., operations, real-valued relations, and constants. This notion subsumes wide classes of structures from functional analysis. However, the restriction that the universe of a structure be a normed space is not necessary. (This restriction has a historical, rather than technical origin; specifically, the development of the theory was originally motivated by questions in Banach space geometry.) Analogous techniques can be applied if the universe is a metric space. Now, when the underlying metric topology is discrete, the resulting model theory coincides with first order model theory, so this logic extends first order in the sense described above. Furthermore, without any cost in the mathematical complexity, one can also work in multi-sorted contexts, so, for instance, one sort could be an operator algebra while another is. say, a metric space. (shrink)

We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shelah's 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. The exposition is from a contemporary perspective and takes into account contributions due to S. Buechler, E. Hrushovski, B. Kim, O. Lessmann, S. Shelah and A. Pillay.

Business students from the three NAFTA countries were shown a possible Sexual Harassment scenario from Arthur Andersen's Business Ethics Program. They were asked to respond to a pre-questionnaire concerning the three characters' behaviors and possible actions and a post-questionnaire after writing a report from the points of view of the three characters in the scenario. The students were asked to consider whether the characters should report the possible harasser to their supervisor, and thus engage in whistle-blowing behavior, as well as (...) directly confront the harasser. Hypotheses are formulated for the three NAFTA countries based on Hofstede's cultural dimensions. There were significant differences, but in some cases not in the direction expected. Gender differences are also explored, but there were few significant differences. (shrink)

We introduce the concepts of Morley rank and Morley degree for structures based on Banach spaces. We characterize ω-stability in terms of Morley rank, and prove the existence of prime models for ω-stable theories.

The role played by real-valued functions in functional analysis is fundamental. One often considers metrics, or seminorms, or linear functionals, to mention some important examples. We introduce the notion of definable real-valued function in functional analysis: a real-valued function f defined on a structure of functional analysis is definable if it can be "approximated" by formulas which do not involve f. We characterize definability of real-valued functions in terms of a purely topological condition which does not involve logic.

We show that a formula φ(x, y) is stable if and only if φ is the pairing map on the unit ball of E x E * , where E is a reflexive Banach space. The result remains true if the formula φ is replaced by a set of formulas $p(\bar{x},\bar{y})$.

Los 18 trabajos recogidos en este volumen tienen como telón de fondo una preocupación por la racionalidad occidental. Mucho se ha hablado de su crisis o de su fracaso. De ello se ha ocupado durante décadas la Escuela de Francfort, en sus distintas reencarnaciones, y, más recientemente, el pensamiento posmoderno. Lo que este libro pretende es enfrentarnos a la crisis de la razón pero desde un ángulo insólito, desde el pensamiento judío. El judaísmo hizo su experiencia de la modernidad. Sintió (...) que no tenía sitio. Algunos de los autores aquí estudiados tuvieron que plantearse, en el momento de su madurez, que había que elegir entre ser moderno o marginarse. Durante siglos, la mayoría optó por lo primero, es decir, por la asimilación. Hasta que algunos plantearon y decidieron seguir siendo judíos sin renunciar a filosofar. Con ello el judaísmo se convierte en un lugar privilegiado para valorar el pulso de la razón occidental. El judaísmo era el límite de la Ilustración. Así lo planteaban los ilustrados y así lo vivieron durante mucho tiempo los propios pensadores judíos. Hasta que les dio por pensar por sí mismos. En este libro se reconstruyen algunos de esos memorables episodios. (shrink)

Given a convergence theorem in analysis, under very general conditions a model-theoretic compactness argument implies that there is a uniform bound on the rate of metastability. We illustrate with three examples from ergodic theory.

En el seno de la historia es el resultado de no pocas horas de reflexión de dos amigos que comparten algunas pasiones, como son -y por este orden- la historia y la universidad. Hartos de oír hablar de crisis en las dos, salieron de su cubículum y vieron, primero, que nunca como ahora había habido tantos libros buenos de historia, algunos verdaderos best-seller, segundo, que jamás en la universidad española había habido tantos estudiantes -y estudiosos- y nunca se había investigado (...) más y mejor que ahora. ¿Dónde está, pues, la crisis? La intentaron buscar en el impacto producido por las novedades, desde lo postmoderno a la historia basura, pero acabaron por ver que incluso en los más rabiosos rupturistas afloraba la solidez de la historia y la fortaleza de algunas grandes tradiciones científicas. Sin embargo, notaron que ni así se consuelan los defensores de una Clío amenazada por mil peligros. Sospachando alguna razón inconfesable -externa al oficio, queremos decir- que explique la paradoja, los dos amigos se contentan por ahora con poner por escrito lo que tienen más seguro: lo que está probado en la mejor tradición clásica y lo que de bueno aporta la novedad. Siempre,... en el seno de la historia. (shrink)

Business students from the three NAFTA countries were shown a possible Sexual Harassment scenario from Arthur Andersen’s Business Ethics Program. They were asked to respond to a pre-questionnaire concerning the three characters’ behaviors and possible actions and a post-questionnaire after writing a report from the points of view of the three characters in the scenario. The students were asked to consider whether the characters should report the possible harasser to their supervisor, and thus engage in whistle-blowing behavior, as well as (...) directly confront the harasser. Hypotheses are formulated for the three NAFTA countries based on Hofstede’s cultural dimensions. There were significant differences, but in some cases not in the direction expected. Gender differences are also explored, but there were few significant differences. (shrink)

v. 1. Metodología e introducción histórica.--v. 2. La Edad de Oro.--v. 3. Del Barroco a la ilustración (Siglos XVII y XVIII).--v. 4. Liberalismo y romanticismo.--v. 5. La crisis contemporánea (3 v.).

Tomo I. Una antología comentada de su obra -- Tomo II. Una antología comentada.